Computational logic - PDFSEARCH.IO - Document Search Engine

Computational logic
Results: 652

#	Item
541	Large Limits to Software Estimation ACM Software Engineering Notes Vol 26, No. 4 July 2001 p[removed] Add to Reading List Source URL: scribblethink.org Language: English - Date: 2008-03-24 23:35:12 Software metrics Mathematical logic Software project management Computational complexity theory Kolmogorov complexity Complexity Software development effort estimation Algorithm Software engineering Theoretical computer science Mathematics Science
542	Computational Logic as a Dual Process Model of Thought Bob Kowalski Imperial College London 10 February[removed]Abstract In the dual process model of thinking, developed in Cognitive Psychology, Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2006-06-12 15:24:01 Reasoning Non-classical logic Programming paradigms Interdisciplinary fields Logic programming Abductive logic programming Knowledge representation and reasoning Robert Kowalski Computational intelligence Science Logic Knowledge
543	The second annual Bristol Algorithms Days will gather researchers interested in the study of theoretical and applied aspects of algorithms. This interdisciplinary workshop will consider work at the boundaries of Computer Add to Reading List Source URL: www.cs.bris.ac.uk Language: English - Date: 2014-03-11 07:07:08 Computational complexity theory Algorithm Mathematical logic Randomized algorithm Approximation algorithm Combinatorics Theoretical computer science Applied mathematics Mathematics
544	Computational Logic in an Object-Oriented World Robert Kowalski Imperial College London [removed] Abstract Logic and object-orientation (OO) are competing ways of looking at the world. Both view the world in terms Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2006-06-07 11:54:52 Logical syntax Propositional calculus Philosophical logic Logic programming Abductive logic programming Semantics Knowledge representation and reasoning Object Programming language Logic Programming paradigms Grammar
545	A Generalization of SAT and #SAT for Robust Policy Evaluation∗ Erik Zawadzki Andr´e Platzer Geoffrey J. Gordon Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2013-11-06 19:31:44 Boolean algebra NP-complete problems Logic in computer science Electronic design automation Formal methods Boolean satisfiability problem True quantified Boolean formula Interpretation Constraint satisfaction problem Theoretical computer science Computational complexity theory Applied mathematics
546	Mistake Bounds for Maximum Entropy Discrimination Philip M. Long Center for Computational Learning Systems Columbia University [removed] Add to Reading List Source URL: www.phillong.info Language: English - Date: 2013-08-07 12:11:42 Probability and statistics Information theory Philosophy of thermal and statistical physics Thermodynamic entropy Randomness Entropy Kullback–Leibler divergence Principle of maximum entropy Entailment Statistics Statistical theory Logic
547	Abstract The KE inference system is a tableau method developed by Marco Mondadori which was presented as an improvement, in the computational efficiency sense, over Analytic Tableaux. In the literature, there is no descr Add to Reading List Source URL: www.science-of-medicine.netne.net Language: English - Date: 2013-02-01 20:22:38 Non-classical logic Paraconsistent logic Philosophical logic Method of analytic tableaux Well-formed formula Ordinal number Symbol Curry–Howard correspondence Logic Mathematical logic Automated theorem proving
548	Semantics and Syntax A Legacy of Alan Turing Scientific Report Arnold Beckmann (Swansea) S. Barry Cooper (Leeds) Benedikt L¨owe (Amsterdam) Elvira Mayordomo (Zaragoza) Add to Reading List Source URL: www.newton.ac.uk Language: English - Date: 2013-01-31 10:36:00 Theoretical computer science Probabilistic complexity theory Formal sciences Computational complexity theory Mathematical logic Computability theory Algorithm Alan Turing Randomized algorithm Mathematics Science Applied mathematics
549	RESEARCH Computational Algorithms and Procedures Learning, with understanding, about computation and algorithms to solve problems is a natural and fertile site for learning about the detailed nature of numbers and opera Add to Reading List Source URL: investigations.terc.edu Language: English - Date: 2013-04-22 12:07:47 Applied mathematics Education reform Algorithm Mathematical logic Theoretical computer science Investigations in Numbers Data and Space Analysis of algorithms Divide and conquer algorithm Genetic algorithm Mathematics Education Mathematics education
550	APPLIED MATHEMATICS & COMPUTATIONAL SCI. (AS) {AMCS} 510. (MATH410) Complex Analysis[removed]MATH420) Ord Differential Equat[removed]MATH425) Partial Dif Equations[removed]MATH430) Intro to Probability. Add to Reading List Source URL: www.upenn.edu Language: English - Date: 2013-08-23 13:09:52 Functional analysis Hilbert space Mathematical analysis Spectral theory Mathematical logic Real analysis Partial differential equation Group theory Harmonic analysis Algebra Mathematics Linear algebra

UPDATE